Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
51	An Improved Parser for Data-Oriented Lexical-Functional Analysis Rens Bod Informatics Research Institute, University of Leeds, Leeds LS2 9JT, UK, & Institute for Logic, Language and Computation, University of Amsterdam r Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Natural language parsing Statistics Probability Software Data-oriented parsing Lexical functional grammar Stochastic context-free grammar Parsing Dilution of precision Estimator Monte Carlo method SYNTAX
52	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
53	IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2015-10-21 12:03:07 Semantic Web Computing Ontology Information science Cognitive science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner UAB Institute of Law and Technology Leibniz Center for Law
54	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
55	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN
56	Modelling customer inconvenience in train rescheduling Ambra Toletti Prof. Ulrich Weidmann Institute for Transport Planning and Systems (IVT) Add to Reading List Source URL: www.strc.ch Language: English - Date: 2016-06-11 10:08:20 Operations research Vehicle rescheduling problem Train Expected value Combinatory logic
57	A Study on the Cognitive Plausibility of SIM-DL Similarity Rankings for Geographic Feature Types Krzysztof Janowicz, Carsten Keßler, Ilija Panov, Marc Wilkes, Martin Espeter, and Mirco Schwarz Institute for Geoinformati Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:32 Information science Semantic Web Knowledge representation Cognition Knowledge engineering Semantic similarity Description logic Conceptual Spaces Ontology Similarity Knowledge representation and reasoning Web Ontology Language
58	Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-08-10 06:15:57 University of Amsterdam Mathematical optimization Inequalities Quantum mechanics Institute for Logic Language and Computation Semidefinite programming Grothendieck inequality Quantum entanglement
59	In defense of the epistemic view of quantum states: a toy theory Robert W. Spekkens arXiv:quant-ph/0401052v2 7 OctPerimeter Institute for Theoretical Physics, Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:02 Quantum mechanics Quantum information science Philosophy of science Quantum states Modal logic Ontic Interpretations of quantum mechanics Spekkens Toy Model No-cloning theorem Quantum entanglement Mathematical formulation of quantum mechanics Quantum operation
60	IFSA Newsletter Vol. 4, No. 2, December 2007 In this issue: PROF. KACPRZYK ELECTED TO SPANISH ACADEMY 1 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:46 Fuzzy logic Artificial intelligence Lotfi A. Zadeh Fuzzy set Fuzzy control system Neuro-fuzzy Fuzzy mathematics Computational intelligence European Society for Fuzzy Logic and Technology Institute of Electrical and Electronics Engineers Type-2 fuzzy sets and systems